Solution of Switching Equations Based on a Tabular Algebra
نویسندگان
چکیده
Several problems in Switching Theory, as Automatic Test Pattern Generation, can be exactly and elegantly investigated by using switching equations. However, no efficient methods have been previously developed to solve this class of equations. In this paper, we present a new and truly efficient tabular method to solve switching equations. The solutions of a given equation are compacted as a table, and a Boolean Algebra is defined for these tables. The proposed procedure is based on the use of this Boolean Algebra. Compactness and simplicity are outstanding, and it is straightforward to implement for computer processing. The complexity of the procedure is computed and some experimental results for a set of benchmark equations are provided in order to point out the effectiveness of this method.
منابع مشابه
Numerical solution of a system of fuzzy polynomial equations by modified Adomian decomposition method
In this paper, we present some efficient numerical algorithm for solving system of fuzzy polynomial equations based on Newton's method. The modified Adomian decomposition method is applied to construct the numerical algorithms. Some numerical illustrations are given to show the efficiency of algorithms.
متن کاملA numerical solution of mixed Volterra Fredholm integral equations of Urysohn type on non-rectangular regions using meshless methods
In this paper, we propose a new numerical method for solution of Urysohn two dimensional mixed Volterra-Fredholm integral equations of the second kind on a non-rectangular domain. The method approximates the solution by the discrete collocation method based on inverse multiquadric radial basis functions (RBFs) constructed on a set of disordered data. The method is a meshless method, because it ...
متن کاملNumerical solution of Fredholm integral-differential equations on unbounded domain
In this study, a new and efficient approach is presented for numerical solution of Fredholm integro-differential equations (FIDEs) of the second kind on unbounded domain with degenerate kernel based on operational matrices with respect to generalized Laguerre polynomials(GLPs). Properties of these polynomials and operational matrices of integration, differentiation are introduced and are ultili...
متن کاملThe Exact Solution of Min-Time Optimal Control Problem in Constrained LTI Systems: A State Transition Matrix Approach
In this paper, the min-time optimal control problem is mainly investigated in the linear time invariant (LTI) continuous-time control system with a constrained input. A high order dynamical LTI system is firstly considered for this purpose. Then the Pontryagin principle and some necessary optimality conditions have been simultaneously used to solve the optimal control problem. These optimality ...
متن کاملNumerical solution of a type of weakly singular nonlinear Volterra integral equation by Tau Method
In this paper, a matrix based method is considered for the solution of a class of nonlinear Volterra integral equations with a kernel of the general form $s^{beta}(t-s)^{-alpha}G(y(s))$ based on the Tau method. In this method, a transformation of the independent variable is first introduced in order to obtain a new equation with smoother solution. Error analysis of this method is also ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Computers
دوره 42 شماره
صفحات -
تاریخ انتشار 1993